1. Correct System Design
پدیدآورنده : \ Roland Meyer ,André Platzer, Heike Wehrheim (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Logics and Meanings of Programs.,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67C6
2015
E-Book
,
